Über Lipschitz-Folgen.
نویسندگان
چکیده
منابع مشابه
Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
In [9] wurden mehrere Beweise ffir die Unbeweisbarkeit von kombinatorischen S/itzen in gewissen formalen Systemen ausgeftihrt. Hierbei handelt es sich u.a. um einen in Erweiterung des Kruskalschen Satzes yon Friedman [5] bewiesenen Satz fiber markierte endliche B/iume, der in einem formalen System//~ CAo mit/-/lKomprehension nicht beweisbar ist. Sowohl der ursprfingliche Beweis yon Friedman als...
متن کاملIntegrierte Standardsoftware an deutschen Hochschulen: Entwicklungen, Folgen und Aussichten
Seit Mitte der 90er Jahre befindet sich die deutsche Hochschullandschaft im Umbruch. Strukturelle Änderungen haben einen Transformationsprozeß ausgelöst, in dem die Einführung moderner ERP (Enterprise Resource Planning) Systeme und der Wechsel vom kameralen zum kaufmännischen Rechnungswesen in vielen Institutionen eine wichtige Rolle gespielt haben. Der Beitrag untersucht, ob die Einführung der...
متن کاملNeuigkeiten über at - Automatisierungstechnik
aufgenommen zu werden, sind wissenschaftliche Standards einzuhalten, die von der Zeitschrift zu erfüllen sind.
متن کاملBericht über den Workshop
Mit dem Einzug modellgetriebener Entwicklungsansätze ist die Bedeutung diagrammartiger Dokumente, beispielsweise von Modellen in UML-Notationen, für die Softwaretechnik noch wichtiger geworden. Durch den zunehmenden Einsatz von Modellen in der Softwareentwicklung entsteht in vielen Kontexten der Bedarf, Versionen von Modellen zu bilden und Modelle zu vergleichen, die Ähnlichkeit von Modellen zu...
متن کاملVeränderungen über einen
We classify quadratic SL2(K)and sl2(K)-modules by crude computation, generalizing in the first case a Theorem proved independently by F.G. Timmesfeld and S. Smith. The paper is the first of a series dealing with linearization results for abstract modules of algebraic groups and associated Lie rings.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATHEMATICA SCANDINAVICA
سال: 1979
ISSN: 1903-1807,0025-5521
DOI: 10.7146/math.scand.a-11834